Varian's theorems